Molecular states in a one-electron double quantum dot

The transport spectrum of a strongly tunnel-coupled one-electron double quantum dot electrostatically defined in a GaAs/AlGaAs heterostructure is studied. At finite source-drain-voltage we demonstrate the unambiguous identification of the symmetric ground state and the antisymmetric excited state of the double well potential by means of differential conductance measurements. A sizable magnetic field, perpendicular to the two-dimensional electron gas, reduces the extent of the electronic wave-function and thereby decreases the tunnel coupling. A perpendicular magnetic field also modulates the orbital excitation energies in each individual dot. By additionally tuning the asymmetry of the double well potential we can align the chemical potentials of an excited state of one of the quantum dots and the ground state of the other quantum dot. This results in a second anticrossing with a much larger tunnel splitting than the anticrossing involving the two electronic ground states.Comment: 4 pages, 4 figures; EP2DS-16 conference contributio

Direct control of the tunnel splitting in a one-electron double quantum dot

Quasi-static transport measurements are employed on a laterally defined tunnel-coupled double quantum dot. A nearby quantum point contact allows us to track the charge as added to the device. If charged with only up to one electron, the low-energy spectrum of the double quantum dot is characterized by its quantum mechanical interdot tunnel splitting. We directly measure its magnitude by utilizing particular anticrossing features in the stability diagram at finite source-drain bias. By modification of gate voltages defining the confinement potential as well as by variation of a perpendicular magnetic field we demonstrate the tunability of the coherent tunnel coupling.Comment: High resolution pdf file available at http://www2.nano.physik.uni-muenchen.de/~huettel/research/anticrossing.pd

Analysis of Probabilistic Basic Parallel Processes

Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In the probabilistic version of BPPs, every process generates other processes according to a probability distribution. We study the decidability and complexity of fundamental qualitative problems over probabilistic BPPs -- in particular reachability with probability 1 of different classes of target sets (e.g. upward-closed sets). Our results concern both the Markov-chain model, where processes are scheduled randomly, and the MDP model, where processes are picked by a scheduler.Comment: This is the technical report for a FoSSaCS'14 pape

A Component-oriented Framework for Autonomous Agents

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components

Nuclear spin relaxation probed by a single quantum dot

We present measurements on nuclear spin relaxation probed by a single quantum dot in a high-mobility electron gas. Current passing through the dot leads to a spin transfer from the electronic to the nuclear spin system. Applying electron spin resonance the transfer mechanism can directly be tuned. Additionally, the dependence of nuclear spin relaxation on the dot gate voltage is observed. We find electron-nuclear relaxation times of the order of 10 minutes

Automated detection of e-scooter helmet use with deep learning

E-scooter riders have an increased crash risk compared to cyclists [1 ]. Hospital data finds increasing numbers of injured e-scooter riders, with head injuries as one of the most common injury types [2]. To decrease this high prevalence of head injuries, the use of e-scooter helmets could present a potential countermeasure [3]. Despite this, studies show a generally low rate of helmet use rates in countries without mandatory helmet use laws [4][5][6]. In countries with mandatory helmet use laws for e-scooter riders, helmet use rates are higher, but generally remain lower than bicycle use rates [7]. As the helmet use rate is a central factor for the safety of e-scooter riders in case of a crash and a key performance indicator in the European Commission's Road Safety Policy Framework 2021-2030 [8], efficient e-Scooter helmet use data collection methods are needed. However, currently, human observers are used to register e-scooter helmet use either in direct roadside observations or in indirect video-based observation, which is time-consuming and costly. In this study, a deep learning-based method for the automated detection of e-scooter helmet use in video data was developed and tested, with the aim to provide an efficient data collection tool for road safety researchers and practitioners

Single electron-phonon interaction in a suspended quantum dot phonon cavity

An electron-phonon cavity consisting of a quantum dot embedded in a free-standing GaAs/AlGaAs membrane is characterized in Coulomb blockade measurements at low temperatures. We find a complete suppression of single electron tunneling around zero bias leading to the formation of an energy gap in the transport spectrum. The observed effect is induced by the excitation of a localized phonon mode confined in the cavity. This phonon blockade of transport is lifted at magnetic fields where higher electronic states with nonzero angular momentum are brought into resonance with the phonon energy.Comment: 4 pages, 4 figure

Transport properties of quantum dots in the Wigner molecule regime

The transport properties of quantum dots with up to N=7 electrons ranging from the weak to the strong interacting regime are investigated via the projected Hartree-Fock technique. As interactions increase radial order develops in the dot, with the formation of ring and centered-ring structures. Subsequently, angular correlations appear, signalling the formation of a Wigner molecule state. We show striking signatures of the emergence of Wigner molecules, detected in transport. In the linear regime, conductance is exponentially suppressed as the interaction strength grows. A further suppression is observed when centered-ring structures develop, or peculiar spin textures appear. In the nonlinear regime, the formation of molecular states may even lead to a conductance enhancement.Comment: 26 pages, 14 figures, Accepted for publication on New Journal of Physic

Relating process languages for security and communication correctness (extended abstract)

Process calculi are expressive specification languages for concurrency. They have been very successful in two research strands: (a) the analysis of security protocols and (b) the enforcement of correct message-passing programs. Despite their shared foundations, languages and reasoning techniques for (a) and (b) have been separately developed. Here we connect two representative calculi from (a) and (b): we encode a (high-level) π-calculus for multiparty sessions into a (low-level) applied π-calculus for security protocols. We establish the correctness of our encoding, and we show how it enables the integrated analysis of security properties and communication correctness by re-using existing tools

A Mechanical Mass Sensor with Yoctogram Resolution

Nanoelectromechanical systems (NEMS) have generated considerable interest as inertial mass sensors. NEMS resonators have been used to weigh cells, biomolecules, and gas molecules, creating many new possibilities for biological and chemical analysis [1-4]. Recently, NEMS-based mass sensors have been employed as a new tool in surface science in order to study e.g. the phase transitions or the diffusion of adsorbed atoms on nanoscale objects [5-7]. A key point in all these experiments is the ability to resolve small masses. Here we report on mass sensing experiments with a resolution of 1.7 yg (1 yg = 10^-24 g), which corresponds to the mass of one proton, or one hydrogen atom. The resonator is made of a ~150 nm long carbon nanotube resonator vibrating at nearly 2 GHz. The unprecedented level of sensitivity allows us to detect adsorption events of naphthalene molecules (C10H8) and to measure the binding energy of a Xe atom on the nanotube surface (131 meV). These ultrasensitive nanotube resonators offer new opportunities for mass spectrometry, magnetometry, and adsorption experiments.Comment: submitted version of the manuscrip